proof strategy
证明策略
热门查询
- Stoddart [人名] [英格兰人姓氏] 斯托达特职业名称，养马人，来源于古英语，含义是“种马+牧人”(stud+herdsman)
- panel n. 仪表板；嵌板；座谈小组，全体陪审员 vt. 嵌镶板 n. (Panel)人名；(英、法)帕内尔
- extended v. 延长；扩充（extend的过去分词） adj. 延伸的；扩大的；长期的；广大的
- sickbed n. 病床
- gob n. 凝块；水兵 vi. 吐唾沫 n. (Gob)人名；(法)戈布
- Theodosius [法]狄奥多西; [男子名] 西奥多西厄斯来源于希腊语，含义是“上帝的礼物”(gift of God)
- gotobed [人名] 戈特贝德
- bustard n. 大鸨
- sweat n. 汗；水珠；焦急；苦差使 vt. 使出汗；流出；使干苦活；剥削；藉出汗减轻；焦急地期待 vi. 出汗；辛苦工作；懊恼；结水珠
- genealogy n. 宗谱；血统；家系；系谱学
- distillery n. 酿酒厂；蒸馏室
- plinth n. 柱基；底座
- chippy n. 花栗鼠；浪漫女子 adj. 碎片的；活跃的
- tartar n. 鞑靼人（蒙古人和突厥人）；凶悍的人；难对付的人 adj. 鞑靼的
- whimsy n. 怪念头；反复无常
- Beechey [人名] [英格兰人姓氏] 比齐住所名称，来源于中世纪英语，含义是“山毛榉+圈用地”(beech+enclosure)
- daver n. (Daver)人名；(法、土)达韦尔
- rationalised vt. 合理地说明（等于rationalize）
- correlated adj. 有相互关系的 v. （使）相关联；（使）相互对照（correlate的过去分词）
- seance n. 降神会；会议
考试词汇表
- system applications
- system architecture
- system area network
- system availability
- system check module
- system clock driver
- system construction
- system control area
- system control file
- system control room
- system control unit
- system coordination
- system degeneration
- system device table
- system diagonostics
- system environments
- system failure rate
- system flow diagram
- system help support
- system history file
